#include "Xxk_CPU1.h"



void StartCpu1(void)
{
	/*
	 * Disable cache on OCM  S=b1 TEX=b100 AP=b11, Domain=b1111, C=b0, B=b0
	 */
	Xil_SetTlbAttributes(0xFFFF0000, 0x014de2);

	xil_printf("Write the address of the application for CPU1 to 0xFFFFFFF0\r\n");
	Xil_Out32(CPU1_STARTADDR, CPU1_STARTMEM);
	dmb();
	xil_printf("Execute the SEV instruction to cause CPU1 to wake up and jump to the application\r\n");
	__asm__("sev");
}


